Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
621	The ifthen package∗ David Carlisle[removed]Abstract This file implements an \ifthenelse command for LATEX 2ε . The algorithm used is compatible with that used in the LATEX 2.09 ifthen style Add to Reading List Source URL: mirror.selfnet.de Language: English - Date: 2014-10-15 10:30:15 Mathematics Boolean data type Negation Read–eval–print loop FO Boolean expression Conditional Boolean algebra Mathematical logic Computing
622	The ifthen package∗ David Carlisle[removed]Abstract This file implements an \ifthenelse command for LATEX 2ε . The algorithm used is compatible with that used in the LATEX 2.09 ifthen style Add to Reading List Source URL: ftp.jaist.ac.jp Language: English - Date: 2014-10-15 10:30:15 Mathematics Boolean data type Negation Read–eval–print loop FO Boolean expression Conditional Boolean algebra Mathematical logic Computing
623	The ifthen package∗ David Carlisle[removed]Abstract This file implements an \ifthenelse command for LATEX 2ε . The algorithm used is compatible with that used in the LATEX 2.09 ifthen style Add to Reading List Source URL: mirror.aut.ac.nz Language: English - Date: 2014-10-15 09:30:00 Mathematics Boolean data type Negation Read–eval–print loop FO Boolean expression Conditional Boolean algebra Mathematical logic Computing
624	The ifthen package∗ David Carlisle[removed]Abstract This file implements an \ifthenelse command for LATEX 2ε . The algorithm used is compatible with that used in the LATEX 2.09 ifthen style Add to Reading List Source URL: anorien.csc.warwick.ac.uk Language: English - Date: 2014-10-15 09:30:00 Mathematics Boolean data type Negation Read–eval–print loop FO Boolean expression Conditional Boolean algebra Mathematical logic Computing
625	The ifthen package∗ David Carlisle[removed]Abstract This file implements an \ifthenelse command for LATEX 2ε . The algorithm used is compatible with that used in the LATEX 2.09 ifthen style Add to Reading List Source URL: ctan.megagod.net Language: English - Date: 2014-10-15 09:30:00 Mathematics Boolean data type Negation Read–eval–print loop FO Boolean expression Conditional Boolean algebra Mathematical logic Computing
626	Synthesizing Safe Bit-Precise Invariants? Arie Gurfinkel, Anton Belov and Joao Marques-Silva Abstract. Bit-precise software verification is an important and difficult problem. While there has been an amazing progress in Add to Reading List Source URL: anton.belov-mcdowell.com Language: English - Date: 2014-01-27 10:25:19 Propositional calculus Boolean algebra Electronic design automation Logic in computer science NP-complete problems Boolean satisfiability problem Satisfiability Modulo Theories Well-formed formula Unsatisfiable core Logic Theoretical computer science Mathematical logic
627	The ifthen package∗ David Carlisle[removed]Abstract This file implements an \ifthenelse command for LATEX 2ε . The algorithm used is compatible with that used in the LATEX 2.09 ifthen style Add to Reading List Source URL: ftp.yzu.edu.tw Language: English - Date: 2014-10-15 10:30:15 Mathematics Boolean data type Negation Read–eval–print loop FO Boolean expression Conditional Boolean algebra Mathematical logic Computing
628	WEST VIRGINIA ROSTER VERIFICATION by Course Code Office of Professional Preparation Add to Reading List Source URL: wvde.state.wv.us Language: English - Date: 2014-11-17 10:34:40 Boolean algebra Classical logic Propositional calculus
629	The ifthen package∗ David Carlisle[removed]Abstract This file implements an \ifthenelse command for LATEX 2ε . The algorithm used is compatible with that used in the LATEX 2.09 ifthen style Add to Reading List Source URL: ctan.sciserv.eu Language: English - Date: 2014-10-15 10:30:15 Mathematics Boolean data type Negation Read–eval–print loop FO Boolean expression Conditional Boolean algebra Mathematical logic Computing
630	The ifthen package∗ David Carlisle[removed]Abstract This file implements an \ifthenelse command for LATEX 2ε . The algorithm used is compatible with that used in the LATEX 2.09 ifthen style Add to Reading List Source URL: ctan.unsw.edu.au Language: English - Date: 2014-10-15 09:30:00 Mathematics Boolean data type Negation Read–eval–print loop FO Boolean expression Conditional Boolean algebra Mathematical logic Computing

UPDATE